https://victoradan.net/posts/type-driven-development